全稱量詞 (一階謂詞演算)的英文

發(fā)音:

英文翻譯

universal quantifier in fopc

全稱 full name
量詞 classifier; measure word; qu ...
一 one
階 steps; stairs
謂詞演算 predicate calculus
一階謂詞演算 first-order logic; first-order predicate calculus; fopc
二階謂詞演算 second-order predicate calculus
高階謂詞演算 high-order predicate calculus; higher order predicate calculus; higher-order predicate calculus
三階謂詞演算 predicate calculus of the third order
一階純謂詞演算 pure predicate calculus of first order
一階謂詞 first-order predicate; predicate of first order
謂詞演算 first-order logic; predicate calculus; predicate logic; predicative calculus
狹謂詞演算 restricted predicate calculus
全稱量詞 allquantor universal quantifier; general quantifier; universal quantification; universal quantifier in fopc
一階謂詞邏輯 first order predicate logic; first-order logic; first-order predicate logic
廣義謂詞演算 extended predicate calculus
謂詞演算語言 predicate calculus language
一元謂詞演算 monadic predicate calculus; one place predicate calculus; unary predicate calculus
無界全稱量詞 unbounded universal quantifier
有界全稱量詞 bounded universal quantifier
擬受囿全稱量詞 quasi-limited univerasl quantifier; quasi-limiteduniveraslquantifier
全稱量詞化變元 universally quantified riable; universally quantified variable; universallyquantifiedriable
帶恒等式的謂詞演算 predicate calculus with identity
基于謂詞演算的方法 predicate calculus based method
謂詞演算中的連接詞 connective in predicate calculus

"查查詞典"手機(jī)版

千萬人都在用的超大詞匯詞典翻譯APP

推薦英語閱讀

全稱量詞 (一階謂詞演算)的英文翻譯，全稱量詞 (一階謂詞演算)英文怎么說，怎么用英語翻譯全稱量詞 (一階謂詞演算)，全稱量詞 (一階謂詞演算)的英文意思，全稱量詞 (一階謂詞演算)的英文，全稱量詞 (一階謂詞演算) meaning in English，全稱量詞 (一階謂詞演算)的英文，全稱量詞 (一階謂詞演算)怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權(quán)所有違者必究。